CONCUR '98 : concurrency theory (Nice, 8-11 September 1998)Sangiorgi, Davide; de Simone, Robert.Lecture notes in computer science. 1998, issn 0302-9743, isbn 3-540-64896-8, XI, 655 p, isbn 3-540-64896-8Conference Proceedings

Concurrency theorySANGIORGI, Davide; DE SIMONE, Robert.Theoretical computer science. 2002, Vol 274, Num 1-2, issn 0304-3975, 278 p.Conference Proceedings

MaestRo : Une approche formelle pour la programmation d'applications robotiques = MaestRo : a formal approach to program robotic applicationsTurro, Nicolas; De Simone, Robert.1999, 182 p.Thesis

Axioms for real-time logicsRASKIN, J.-F; SCHOBBENS, P.-Y; HENZINGER, T. A et al.Lecture notes in computer science. 1998, pp 219-236, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Asynchronous cellular automata and asynchronous automata for pomsetsKUSKE, D.Lecture notes in computer science. 1998, pp 517-532, issn 0302-9743, isbn 3-540-64896-8Conference Paper

The regular viewpoint on PA-processesLUGIEZ, D; SCHNOEBELEN, P.Lecture notes in computer science. 1998, pp 50-66, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Unfolding and finite prefix for nets with read arcsVOGLER, W; SEMENOV, A; YAKOVLEV, A et al.Lecture notes in computer science. 1998, pp 501-516, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Decompositions of asynchronous systemsMORIN, R.Lecture notes in computer science. 1998, pp 549-564, issn 0302-9743, isbn 3-540-64896-8Conference Paper

From rewrite to bisimulation congruencesSEWELL, P.Lecture notes in computer science. 1998, pp 269-284, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Minimality and separation results on asynchronous mobile processes : Representability theorems by concurrent combinatorsYOSHIDA, N.Lecture notes in computer science. 1998, pp 131-146, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Possible worlds for process algebrasVEGLIONI, S; DE NICOLA, R.Lecture notes in computer science. 1998, pp 179-193, issn 0302-9743, isbn 3-540-64896-8Conference Paper

A categorical axiomatics for bisimulationCATTANI, G. L; POWER, J; WINSKEL, G et al.Lecture notes in computer science. 1998, pp 581-596, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Abstract games for infinite state processesSTEVENS, P.Lecture notes in computer science. 1998, pp 147-162, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Controlled timed automataDEMICHELIS, F; ZIELONKA, W.Lecture notes in computer science. 1998, pp 455-469, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Modelling IP mobilityAMADIO, R. M; PRASAD, S.Lecture notes in computer science. 1998, pp 301-316, issn 0302-9743, isbn 3-540-64896-8Conference Paper

On discretization of delays in timed automata and digital circuitsASARIN, E; MALER, O; PNUELI, A et al.Lecture notes in computer science. 1998, pp 470-484, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Stochastic transition systemsDE ALFARO, L.Lecture notes in computer science. 1998, pp 423-438, issn 0302-9743, isbn 3-540-64896-8Conference Paper

A relational model of non-deterministic dataflowHILDEBRANDT, T; PANANGADEN, P; WINSKEL, G et al.Lecture notes in computer science. 1998, pp 613-628, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Automata and coinduction (An exercise in coalgebra)RUTTEN, J. J. M. M.Lecture notes in computer science. 1998, pp 194-218, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Checking verifications of protocols and distributed systems by computerGROOTE, J. F; MONIN, F; DE POL, J. V et al.Lecture notes in computer science. 1998, pp 629-655, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Reasoning about asynchronous communication in dynamically evolving object structuresDE BOER, F. S.Lecture notes in computer science. 1998, pp 285-300, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Priority and maximal progress are completely axiomatisableHERMANNS, H; LOHREY, M.Lecture notes in computer science. 1998, pp 237-252, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Reduction in TLACOHEN, E; LAMPORT, L.Lecture notes in computer science. 1998, pp 317-331, issn 0302-9743, isbn 3-540-64896-8Conference Paper

It's about time : Real-time logics reviewedHENZINGER, T. A.Lecture notes in computer science. 1998, pp 439-454, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Algebraic techniques for timed systemsBENVENISTE, A; JARD, C; GAUBERT, S et al.Lecture notes in computer science. 1998, pp 373-388, issn 0302-9743, isbn 3-540-64896-8Conference Paper